Skip to content

Fix missing test of libra in Action#1281

Merged
genedna merged 1 commit into
gitmono-dev:mainfrom
Ivanbeethoven:main
Jul 29, 2025
Merged

Fix missing test of libra in Action#1281
genedna merged 1 commit into
gitmono-dev:mainfrom
Ivanbeethoven:main

Conversation

@Ivanbeethoven

Copy link
Copy Markdown
Collaborator

No description provided.

Signed-off-by: Xiaoyang Han <lux1an@qq.com>
Copilot AI review requested due to automatic review settings July 29, 2025 03:36
@vercel

vercel Bot commented Jul 29, 2025

Copy link
Copy Markdown

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Comments Updated (UTC)
mega ✅ Ready (Inspect) Visit Preview 💬 Add feedback Jul 29, 2025 3:37am

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull Request Overview

This PR fixes a missing test execution for the libra component in the GitHub Actions workflow. The change ensures that libra tests are properly included in the CI pipeline alongside other component tests.

  • Removes libra from the paths-ignore list so changes to libra trigger the workflow
  • Adds cargo test command for libra to execute its tests in the CI pipeline
Comments suppressed due to low confidence (2)

.github/workflows/base.yml:13

  • The 'alfs/**' entry is being removed from paths-ignore, but this appears unintentional based on the PR title which only mentions fixing libra tests. If alfs changes should trigger the workflow, this should be documented in the PR description.
      - 'aries/**'

.github/workflows/base.yml:17

  • The 'rust/**' entry is being removed from paths-ignore, but this appears unintentional based on the PR title which only mentions fixing libra tests. If rust changes should trigger the workflow, this should be documented in the PR description.
      - 'moon/**'

@genedna
genedna added this pull request to the merge queue Jul 29, 2025
Merged via the queue into gitmono-dev:main with commit 6a8d4ac Jul 29, 2025
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants